충남도립대학교 도서관

본문

통합검색

  1. HOME
  2. 소장자료검색
  3. 통합검색
23 Results:AA:최진영 0.109 sec.
RSS 
다국어입력
 상세검색
 신착검색
선택출력 선택엑셀내보내기
1
기억하는 소설 : 재난의 시대를 살아가는 우리에게
기억하는 소설 : 재난의 시대를 살아가는 우리에게
강영숙 | 창비교육 | 2021 대출가능 , 제2자료실(지하)
Naver 정보보기
프린트
2
SSM을 이용한 RACE Protocol의 검증 : Formal Verification of RACE Protocol Using SSM
SSM을 이용한 RACE Protocol의 검증 : Formal Verification of RACE Protocol Using SSM
김한상 | 한국정보과학회 | 1999 ,
프린트
3
SMV를 이용한 모델 체킹 검증 기법의 사례 연구1 : A Case Study on Model Checking Method Based on SMV
SMV를 이용한 모델 체킹 검증 기법의 사례 연구1 : A Case Study on Model Checking Method Based on SMV
남원홍 | 한국정보과학회 | 1999 ,
프린트
4
SPIN을 이용한 리더 선출 알고리즘의 검증 : Verification of Leader Election Algorithm with SPIN
SPIN을 이용한 리더 선출 알고리즘의 검증 : Verification of Leader Election Algorithm with SPIN
류광열 | 한국정보과학회 | 1999 ,
프린트
5
강등가를 기반으로 한 내부 비결정성 탐지법 : Detection for Internal Non-determinism based on Strong Equivalence
강등가를 기반으로 한 내부 비결정성 탐지법 : Detection for Internal Non-determinism based on Strong Equivalence
박병호 | 한국정보과학회 | 1999 ,
프린트
6
Process Algebra 를 이용한 Lamport 의 Byzantine Agreement 의 명세 및 부분 검증에 대하여 : Specification & Partial Verification Of Lamport`s Byzantine Agreement Using Process Algebra
Process Algebra 를 이용한 Lamport 의 Byzantine Agreement 의 명세 및 부분 검증에 대하여 : Specification & Partial Verification Of Lamport`s Byzantine Agreement Using Process Algebra
박찬국 | 한국정보과학회 | 1998 ,
프린트
7
위치 지정 프로세스 모델의 추상기계 : An Abstract Machine for a Located Process Model
위치 지정 프로세스 모델의 추상기계 : An Abstract Machine for a Located Process Model
신승철 | 한국정보과학회 | 1999 대출불가(관내열람) ,
Naver 정보보기
프린트
8
(교양 및 실무편) 산업안전 특론
(교양 및 실무편) 산업안전 특론
신용하 최진영 고명훈 | 남양문화 | 2004 대출가능 , 제1자료실(1층), 보존서고(지하)2022
Naver 정보보기
프린트
9
컴포넌트 기반 커널을 위한 프레임워크 : A Framework for Component-based Kernel
컴포넌트 기반 커널을 위한 프레임워크 : A Framework for Component-based Kernel
양순성 | 한국정보과학회 | 1999 ,
프린트
10
이상문학상 작품집. 2023 제46회 : 홈 스위트 홈
이상문학상 작품집. 2023 제46회 : 홈 스위트 홈
유진 | 문학사상 | 2023 대출가능 , 제2자료실(지하)
Naver 정보보기
프린트
처음123이후마지막

QuickMenu

  • TOP